Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
guarded door - tradução para russo
FORMAL LANGUAGE FOR PREDICATE TRANSFORMER SEMANTICS INTRODUCED BY BY EDSGER DIJKSTRA
Guarded command; Guarded commands
guarded door
охраняемая дверь
interior door
![Door of the [[Florence Baptistery]] called ''The Gates of Paradise'', 1425–1452, gilded bronze, height: 5.2 m](https://commons.wikimedia.org/wiki/Special:FilePath/Florença - Portões do Paraíso (146).jpg?width=200 "Door of the [[Florence Baptistery]] called ''The Gates of Paradise'', 1425–1452, gilded bronze, height: 5.2 m")
![Entrance of the [[Kunsthistorisches Museum]] ([[Vienna]], Austria)](https://commons.wikimedia.org/wiki/Special:FilePath/Kunsthistorisches Museum entrance.jpg?width=200 "Entrance of the [[Kunsthistorisches Museum]] ([[Vienna]], Austria)")
![Transparent awning in [[Luxembourg]], above a door](https://commons.wikimedia.org/wiki/Special:FilePath/Miersch, 17 rue Nicolas Welter-001.jpg?width=200 "Transparent awning in [[Luxembourg]], above a door")
![Roman]] folding doors at [[Pompeii]], from the first century AD, similar with Neoclassical doors from the 19th century](https://commons.wikimedia.org/wiki/Special:FilePath/Plaster cast of folding doors, Pompeii.jpg?width=200 "Roman]] folding doors at [[Pompeii]], from the first century AD, similar with Neoclassical doors from the 19th century")
![Palace of São Cristóvão]], the former main residence of the [[Brazilian imperial family]] with gilded [[imperial cypher]]s of Emperor [[Pedro II of Brazil]]](https://commons.wikimedia.org/wiki/Special:FilePath/Quinta da Boa Vista 13.jpg?width=200 "Palace of São Cristóvão]], the former main residence of the [[Brazilian imperial family]] with gilded [[imperial cypher]]s of Emperor [[Pedro II of Brazil]]")
![Roman]] wall painting of an ornate door, in the [[Villa Boscoreale]] (Italy), from the first century AD](https://commons.wikimedia.org/wiki/Special:FilePath/Tür, Villa Boscoreale.jpg?width=200 "Roman]] wall painting of an ornate door, in the [[Villa Boscoreale]] (Italy), from the first century AD")
![Glass door decorated with [[Art Nouveau]] elements, from the [[Singer House]] ([[Saint Petersburg]], Russia)](https://commons.wikimedia.org/wiki/Special:FilePath/Дом компании Зингер, Россия, Санкт-Петербург.JPG?width=200 "Glass door decorated with [[Art Nouveau]] elements, from the [[Singer House]] ([[Saint Petersburg]], Russia)")
![Ancient Egyptian]] tomb door, circa 2150 –1981 BC, in the [[Metropolitan Museum of Art]] (New York City)](https://commons.wikimedia.org/wiki/Special:FilePath/Fragment from a tomb door MET 23.3.174f-emf.jpg?width=200 "Ancient Egyptian]] tomb door, circa 2150 –1981 BC, in the [[Metropolitan Museum of Art]] (New York City)")
![Ancient Greek]] door carved on the Hercules sarcophagus from the [[Kayseri Archaeology Museum]] ([[Kayseri]], Turkey)](https://commons.wikimedia.org/wiki/Special:FilePath/The Hercules Sarcophagus depicting the Twelve Labors of Hercules, 150-160 AD, Kayseri Archaeological Museum, Turkey (26261172056) (lighter version).jpg?width=200 "Ancient Greek]] door carved on the Hercules sarcophagus from the [[Kayseri Archaeology Museum]] ([[Kayseri]], Turkey)")
![Ancient Roman]] bronze doors of the [[Curia Julia]], now in the [[Basilica of St. John Lateran]] (Rome)](https://commons.wikimedia.org/wiki/Special:FilePath/Bronze door, Basilica di San Giovanni, 2013.jpg?width=200 "Ancient Roman]] bronze doors of the [[Curia Julia]], now in the [[Basilica of St. John Lateran]] (Rome)")
![Mughal]] teak wood and brass door](https://commons.wikimedia.org/wiki/Special:FilePath/Gate, ash-Shibak Fort, Ibra (North ash-Sharqiyah Governorate) Origin- Surat, India (Mughal Empire) Teak wood and brass.jpg?width=200 "Mughal]] teak wood and brass door")
![Chinese]] folding doors in [[The Old Museum of Wisteria]] ([[Changzhou]], China)](https://commons.wikimedia.org/wiki/Special:FilePath/Tenghua Jiuguan 21 2015-04.JPG?width=200 "Chinese]] folding doors in [[The Old Museum of Wisteria]] ([[Changzhou]], China)")
![Byzantine]] door of the [[Little Metropolis]] ([[Athens]], Greece)](https://commons.wikimedia.org/wiki/Special:FilePath/Lateral door church Theotokos Gorgoepikoos Athens, Greece.jpg?width=200 "Byzantine]] door of the [[Little Metropolis]] ([[Athens]], Greece)")
![geometric patterns]] in [[Morocco]]](https://commons.wikimedia.org/wiki/Special:FilePath/Door in Morocco, 2010.jpg?width=200 "geometric patterns]] in [[Morocco]]")
![Romanesque]] door of the Saint Nicholas' Church in [[Barfrestone]] ([[Kent]], England)](https://commons.wikimedia.org/wiki/Special:FilePath/'Berfrestone' (DB) door and tympanum arch St Nicholas Church Barfrestone Kent England 1.jpg?width=200 "Romanesque]] door of the Saint Nicholas' Church in [[Barfrestone]] ([[Kent]], England)")
![Gothic]] door of the [[St Magnus Cathedral]] ([[Kirkwall]], Scotland)](https://commons.wikimedia.org/wiki/Special:FilePath/Doorway detail, St Magnus Cathedral, Kirkwall, Orkney.jpg?width=200 "Gothic]] door of the [[St Magnus Cathedral]] ([[Kirkwall]], Scotland)")
![Russian]] door in [[Saint Basil's Cathedral]] (Moscow)](https://commons.wikimedia.org/wiki/Special:FilePath/Iconography - Saint Basil's Cathedral (19970306871).jpg?width=200 "Russian]] door in [[Saint Basil's Cathedral]] (Moscow)")
![Brâncovenesc]] door of the [[Antim Monastery]] ([[Bucharest]], Romania), with a [[pisanie]] above it](https://commons.wikimedia.org/wiki/Special:FilePath/The entrance of the Antim Monastery Church.jpg?width=200 "Brâncovenesc]] door of the [[Antim Monastery]] ([[Bucharest]], Romania), with a [[pisanie]] above it")
![Renaissance]] door in [[Gdańsk]] (Poland)](https://commons.wikimedia.org/wiki/Special:FilePath/Gdańsk (158).JPG?width=200 "Renaissance]] door in [[Gdańsk]] (Poland)")
![[[Baroque]] door in the [[Palace of Versailles]] ([[Versailles]], France)](https://commons.wikimedia.org/wiki/Special:FilePath/Chateau de Versailles Vestibule Haut 11 (lighter and fixed angles).jpg?width=200 "[[Baroque]] door in the [[Palace of Versailles]] ([[Versailles]], France)")
![Rococo]] door on Rue Monsieur-le-Prince (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/Porte rue Monsieur-le-Prince Paris.jpg?width=200 "Rococo]] door on Rue Monsieur-le-Prince (Paris)")
![Louis XVI]] door of the [[Hôtel Mortier de Sandreville]], on Rue des Francs-Bourgeois (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/P1210063 Paris III rue des Francs-Bourgeois n26 rwk.jpg?width=200 "Louis XVI]] door of the [[Hôtel Mortier de Sandreville]], on Rue des Francs-Bourgeois (Paris)")
![African]] door with lock, late 19th or early 20th century, wood with iron, from [[Burkina Faso]], in the [[Brooklyn Museum]] (New York City)](https://commons.wikimedia.org/wiki/Special:FilePath/Brooklyn Museum 1994.92 Door with Lock (2).jpg?width=200 "African]] door with lock, late 19th or early 20th century, wood with iron, from [[Burkina Faso]], in the [[Brooklyn Museum]] (New York City)")
![A decorated door from the [[Gandantegchinlen Monastery]] ([[Mongolia]])](https://commons.wikimedia.org/wiki/Special:FilePath/Zespół klasztoru Gandan (39).jpg?width=200 "A decorated door from the [[Gandantegchinlen Monastery]] ([[Mongolia]])")
![Gothic Revival]] door on Rue Malebranche (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/P1250574 Paris V rue Malebranche n3 porte gothique bis encours.jpg?width=200 "Gothic Revival]] door on Rue Malebranche (Paris)")
![Egyptian Revival]] door of a mausoleum in the Forest Home Cemetery ([[Wisconsin]], US)](https://commons.wikimedia.org/wiki/Special:FilePath/Egyptian Revival mausoleum, Forest Home Cemetery.jpg?width=200 "Egyptian Revival]] door of a mausoleum in the Forest Home Cemetery ([[Wisconsin]], US)")
![[[Rococo Revival]] door of the [[Hôtel de Breteuil]] (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/Armoiries de lIrlande à lambassade dIrlande à Paris.jpg?width=200 "[[Rococo Revival]] door of the [[Hôtel de Breteuil]] (Paris)")
![Romanian Revival]] door of the [[Școala Centrală National College]] on Strada Icoanei (Bucharest)](https://commons.wikimedia.org/wiki/Special:FilePath/3-5, Strada Icoanei, Bucharest (Romania) 1.jpg?width=200 "Romanian Revival]] door of the [[Școala Centrală National College]] on Strada Icoanei (Bucharest)")
![Eclectic]] Classicist door on Rue La Bruyère (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/Paris Porte cochère rue La Bruyère 2012.jpg?width=200 "Eclectic]] Classicist door on Rue La Bruyère (Paris)")
![Beaux-Arts]] door of the [[Cantacuzino Palace]] (Bucharest)](https://commons.wikimedia.org/wiki/Special:FilePath/Entrance of the George Enescu Museum.jpg?width=200 "Beaux-Arts]] door of the [[Cantacuzino Palace]] (Bucharest)")
![Nancy]] (France), with a big transparent [[awning]] above it](https://commons.wikimedia.org/wiki/Special:FilePath/Porte et marquise CCI Nancy.jpg?width=200 "Nancy]] (France), with a big transparent [[awning]] above it")
![Stripped Classicist]] door of the [[Royal Palace of Bucharest]], now the [[National Museum of Art of Romania]]](https://commons.wikimedia.org/wiki/Special:FilePath/49-53, Calea Victoriei, Bucharest (Romania) 10.jpg?width=200 "Stripped Classicist]] door of the [[Royal Palace of Bucharest]], now the [[National Museum of Art of Romania]]")
![Art Deco]] door in [[Angers]] (France)](https://commons.wikimedia.org/wiki/Special:FilePath/La Maison Bleue, porte d'entrée - Angers - 20110119.jpg?width=200 "Art Deco]] door in [[Angers]] (France)")
![locks]]](https://commons.wikimedia.org/wiki/Special:FilePath/Door lock.jpg?width=200 "locks]]")
![cartouche]], in Paris](https://commons.wikimedia.org/wiki/Special:FilePath/Paris Rue de Douai5134.JPG?width=200 "cartouche]], in Paris")
![Pair of door knobs in the Galerie dorée de la Banque de France of the [[Hôtel de Toulouse]] (Paris)](https://commons.wikimedia.org/wiki/Special:FilePath/Galerie dorée071.jpg?width=200 "Pair of door knobs in the Galerie dorée de la Banque de France of the [[Hôtel de Toulouse]] (Paris)")
![Hinge of a door of the [[St Pancras railway station]] (London)](https://commons.wikimedia.org/wiki/Special:FilePath/St. Pancras Station (door & hinge). Camden.JPG?width=200 "Hinge of a door of the [[St Pancras railway station]] (London)")
FLAT, MOVABLE STRUCTURE USED TO OPEN AND CLOSE AN ENTRANCE
French door; Blind door; French doors; Handing; Door safety; Door guard; Swing door; Bifold door; Inged door; Hinged door; French window; Door And Door-post; Saloon doors; Interior door; DOOR; Door frame; Flush door; Selfbolting door; Door guards; 🚪; Doorframe; Hinged doors; Hinge door; Hinge doors; Hinge-door; Hinge-doors; Hingedoor; Hingedoors; Doors; Door knock; Self-opening door; User:Aliaume Damala Badara Akon Thiam; Types of Doors; Dooor; Wooden door
строительное дело
внутренняя дверь
межкомнатная дверь
door
FLAT, MOVABLE STRUCTURE USED TO OPEN AND CLOSE AN ENTRANCE
French door; Blind door; French doors; Handing; Door safety; Door guard; Swing door; Bifold door; Inged door; Hinged door; French window; Door And Door-post; Saloon doors; Interior door; DOOR; Door frame; Flush door; Selfbolting door; Door guards; 🚪; Doorframe; Hinged doors; Hinge door; Hinge doors; Hinge-door; Hinge-doors; Hingedoor; Hingedoors; Doors; Door knock; Self-opening door; User:Aliaume Damala Badara Akon Thiam; Types of Doors; Dooor; Wooden door
Definição
door
(doors)
Frequency: The word is one of the 700 most common words in English.
1.
A door is a piece of wood, glass, or metal, which is moved to open and close the entrance to a building, room, cupboard, or vehicle.
I knocked at the front door, but there was no answer...
The policeman opened the door and looked in...
N-COUNT
2.
A door is the space in a wall when a door is open.
She looked through the door of the kitchen. Her daughter was at the stove.
= doorway
N-COUNT
3.
Doors is used in expressions such as a few doors down or three doors up to refer to a place that is a particular number of buildings away from where you are. (INFORMAL)
Mrs Cade's house was only a few doors down from her daughter's apartment.
N-PLURAL: amount N down/up
4.
see also next door
5.
When you answer the door, you go and open the door because a visitor has knocked on it or rung the bell.
Carol answered the door as soon as I knocked.
PHRASE: V inflects
6.
If you say that someone gets or does something by the back door or through the back door, you are criticizing them for doing it secretly and unofficially.
The government would not allow anyone to sneak in by the back door and seize power by force...
PHRASE: PHR after v [disapproval]
7.
If someone closes the door on something, they stop thinking about it or dealing with it.
We never close the door on a successful series.
PHRASE: V inflects: PHR n
8.
If people have talks and discussions behind closed doors, they have them in private because they want them to be kept secret.
...decisions taken in secret behind closed doors.
PHRASE: PHR after v, PHR n
9.
If someone goes from door to door or goes door to door, they go along a street calling at each house in turn, for example selling something.
They are going from door to door collecting money from civilians.
PHRASE: PHR after v, PHR n
10.
If you talk about a distance or journey from door to door or door to door, you are talking about the distance from the place where the journey starts to the place where it finishes.
...tickets covering the whole journey from door to door...
PHRASE
11.
If you say that something helps someone to get their foot in the door or their toe in the door, you mean that it gives them an opportunity to start doing something new, usually in an area that is difficult to succeed in.
The bondholding may help the firm get its foot in the door to win the business...
PHRASE: N inflects, PHR after v
12.
If someone shuts the door in your face or slams the door in your face, they refuse to talk to you or give you any information.
Did you say anything to him or just shut the door in his face?
PHRASE: V inflects
13.
If you lay something at someone's door, you blame them for an unpleasant event or situation.
The blame is generally laid at the door of the government.
PHRASE: V inflects
14.
If someone or something opens the door to a good new idea or situation, they introduce it or make it possible.
This book opens the door to some of the most exciting findings in solid-state physics...
PHRASE: V and N inflect, oft PHR to n
15.
When you are out of doors, you are not inside a building, but in the open air.
The weather was fine enough for working out of doors.
= outdoors
PHRASE: PHR after v, v-link PHR
16.
If you see someone to the door, you go to the door with a visitor when they leave.
PHRASE: V inflects
17.
If someone shows you the door, they ask you to leave because they are angry with you.
Would they forgive and forget-or show him the door?
PHRASE: V inflects
18.
at death's door: see death
Wikipédia
Guarded Command Language
The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming concepts in a compact way. It makes it easier to develop a program and its proof hand-in-hand, with the proof ideas leading the way; moreover, parts of a program can actually be calculated.
An important property of GCL is nondeterminism. For example, in the if-statement, several alternatives may be true, and the choice of which to choose is done at runtime, when the if-statement is executed. This frees the programmer from having to make unnecessary choices and is an aid in the formal development of programs.
GCL includes the multiple assignment statement. For example, execution of the statement x, y:= y, x is done by first evaluating the righthand side values and then storing them in the lefthand variables. Thus, this statement swaps the values of x and y.
The following books discuss the development of programs using GCL:
- Dijkstra, Edsger W. (1976). A Discipline of Programming. Prentice Hall. ISBN 978-0132158718.
- Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. doi:10.1007/978-1-4612-5983-1. ISBN 978-0-387-96480-5. S2CID 37034126.
- Dijkstra, Edsger W.; Feijen, Wim H.J. (1988). A Method of Programming. Boston, MA: Addison-Wesley Longman Publishing Co., Inc. p. 200. ISBN 978-0-201-17536-3.
- Kaldewaij, Anne (1990). Programming: the derivation of algorithms. Prentice-Hall, Inc. ISBN 0132041081.
- Cohen, Edward (1990). David Gries (ed.). Programming in the 1990s: An introduction to the calculation of programs. Texts and Monographs in Computer Science. Springer Verlag. doi:10.1007/978-1-4613-9706-9. ISBN 978-1-4613-9706-9. S2CID 1509875.
